$\forall$$a$, $b$:$\mathbb{Z}$. ($a$ $\ast$ $b$) = ($b$ $\ast$ $a$)